Continuamos estudando o formalismo da MQ: operadores, observáveis, etc.
Estados bem-definidos: vimos que ter variância = 0 para um observável é equivalente a ser auto-estado deste observável.
Exemplo 3.1: auto-estados do operador

.
Mais sobre auto-funções de operadores Hermitianos: começamos a estudar o caso de espectro discreto. Primeiro resultado: auto-valores são reais.
Refs.: Griffiths seções 3.2 e 3.3.